A completeness theorem for a nonlinear problem
نویسندگان
چکیده
منابع مشابه
A topological completeness theorem
We prove a topological completeness theorem for innnitary geometric theories with respect to sheaf models. The theorem extends a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that one can achieve in addition that the cover is connected and locally connected.
متن کاملA Completeness Theorem for "Total Boolean Functions"
In [3], Christine Tasson introduces an algebraic notion of totality for a denotational model of linear logic. The notion of total boolean function is, in a way, quite intuitive. This note provides a positive answer to the question of completeness of the " boolean centroidal calculus " w.r.t. total boolean functions. 0. Introduction. Even though the question answered in this note has its roots i...
متن کاملA Completeness theorem for Formal Topologies
The main mathematical result of this work is a quite simple formulation and proof of a Rasiowa-Sikorski-like theorem for countable lattices. Then the paper suggests an interpretation of this mathematical result as a completeness theorem for the formal topologies introduced by G. Sambin in order to provide a constructive approach to topology which is expressible within Martin Löf’s intuitionisti...
متن کاملA Completeness Theorem for Open Maps
This paper provides a partial solution to the completeness problem for Joyal’s axiomatization of open and etale maps, under the additional assumption that a collection axiom (related to the set-theoretical axiom with the same name) holds. In many categories of geometric objects, there are natural classes of open maps, of proper maps and of etale maps. Some of the forma1 properties of these clas...
متن کاملA General NP Completeness Theorem
A detailed model of a random access computation over an ab stract domain is presented and the existence of an NP complete problem is proven under broad conditions which unify Cook s theorem and recent results in the real number model by Blum Shub and Smale
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 1974
ISSN: 0013-0915,1464-3839
DOI: 10.1017/s0013091500010294